index [ ] :=
mutate.array3.index [ ] :=
(I
type
:
integer, i0 I, i1 I, i2 I, o T) =>
unit[Redefinition of container.Mutable_Array3.index [ ] := ]
¶set element at given index i to given value o
Precondition
Inherited from container.Mutable_Array3.index [ ] :=
pre safety: 0 ≤ i0.as_i64 < length0 safety: 0 ≤ i1.as_i64 < length1 safety: 0 ≤ i2.as_i64 < length2 safety: is_accessible
Type Parameters
0.099dev (GIT hash a1331a3dc7ff37424401d3c7d0dba5be1302516f)